Rank-Nullity theorem